|
Exploiting CNN’s visual explanations to drive anomaly detection
Fraccaroli, M.; Bizzarri, A.; Casellati, P.; Lamma, E.
details >>
|
APPLIED INTELLIGENCE
Vol. ---, No. 1, pp: -------, Anno: 2023 |
|
|
|
|
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module
Ferrari, N.; Fraccaroli, M.; Lamma, E.
details >>
|
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
Vol. 2023, No. 1, pp: 1-18, Anno: 2023 |
|
|
|
|
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
|
SOFTWAREX
Vol. 17, No. 1, pp: 100957-1-100957-7, Anno: 2022 |
|
|
|
|
Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients
Fadja, Arnaud Nguembang; Fraccaroli, Michele; Bizzarri, Alice; Mazzuchelli, Giulia; Lamma, Evelina
details >>
|
MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING
Vol. 60, No. 12, pp: 3461-3474, Anno: 2022 |
|
|
|
|
Symbolic DNN-Tuner
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
|
MACHINE LEARNING
Vol. 111, No. 2, pp: 625-650, Anno: 2022 |
|
|
|
|
Probabilistic inductive constraint logic
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina
details >>
|
MACHINE LEARNING
Vol. 110, No. 4, pp: 723-754, Anno: 2021 |
|
|
|
|
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Bellodi, E.; Gavanelli, M.; Zese, R.; Lamma, E.; Riguzzi, F.
details >>
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 557-574, Anno: 2021 |
|
|
|
|
A semantics for Hybrid Probabilistic Logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
ARTIFICIAL INTELLIGENCE
Vol. 294, No. 1, pp: 103452-1-103452-23, Anno: 2021 |
|
|
|
|
Learning hierarchical probabilistic logic programs
Nguembang Fadja, A.; Riguzzi, F.; Lamma, E.
details >>
|
MACHINE LEARNING
Vol. 110, No. 7, pp: 1637-1693, Anno: 2021 |
|
|
|
|
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
Chesani, F.; Cota, G.; Gavanelli, M.; Lamma, E.; Mello, P.; Riguzzi, F.
details >>
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Vol. 95, No. 1, pp: 103861-1-103861-11, Anno: 2020 |
|
|
|
|
Dischargeable Obligations in the ScIFF Framework
Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.
details >>
|
FUNDAMENTA INFORMATICAE
Vol. 176, No. 3-4, pp: 321-348, Anno: 2020 |
|
|
|
|
Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
INFORMATION
Vol. 10, No. 11, pp: 335-1-335-18, Anno: 2019 |
|
|
|
|
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio
details >>
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 19, No. 3, pp: 449-476, Anno: 2019 |
|
|
|
|
Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
details >>
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46-1-46-20, Anno: 2018 |
|
|
|
|
Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
details >>
|
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018 |
|
|
|
|
Tableau reasoning for description logics and its extension to probabilities
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
details >>
|
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 82, No. 1-3, pp: 101-130, Anno: 2018 |
|
|
|
|
Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco
details >>
|
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018 |
|
|
|
|
A web system for reasoning with probabilistic OWL
Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo; Cota, Giuseppe
details >>
|
SOFTWARE, PRACTICE AND EXPERIENCE
Vol. 47, No. 1, pp: 125-142, Anno: 2017 |
|
|
|
|
Economic and organizational impact of a clinical decision support system on laboratory test ordering
Bellodi, E; Vagnoni, E; Bonvento, B; Lamma, E.
details >>
|
BMC MEDICAL INFORMATICS AND DECISION MAKING
Vol. 17, No. 1, pp: 179-1-179-9, Anno: 2017 |
|
|
|
|
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina
details >>
|
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Vol. 80, No. 1, pp: 313-333, Anno: 2017 |
|
|
|